|
ACM Symposium on Operating Systems Principles |
|
Friday, 28 October 2005 |
On 22-26 October 20-th ACM Symposium on Operating Systems Principles took place in Brighton, UK. Academia and industry presented results of the most recent research in this domain.
Participants of the Symposium discussed with Alexander Monakhov, researcher from UniTESK Lab, embedded OS design approach developed in UniTESK Lab and its applicability in different domains. The most valuable remarks were done by Andrew S. Tanenbaum. |
|
|
UniTESK Lab. and Russian Federal Agency for Science and Innovations |
|
Friday, 01 July 2005 |
|
The first stage of project «Design and implementation of a toolkit that automates generation of complex test data structures from grammar-based description» is completed.
UniTESK Lab. works above the project under the order of the Russian Federal Agency for Science and Innovations. |
|
|
CTesK 2.1 has been released |
|
Thursday, 07 April 2005 |
|
CTesK 2.1 has been released. The new version contains an installation tool, libraries for work under Cygwin and two additional static reports, intended to represent information about coverage of testing of systems with deferred reactions. Wizards for creation mediators and test scenarios are available in a new CTesK add-in for Microsoft Visual Studio 6.0. The code generated by CTesK 2.1 complies with the C89 standard and gcc compiler of version 2.95.3. |
|
|
Strategic agreement with the online-project "software-testing.ru" |
|
Thursday, 03 March 2005 |
UniTESK developers have reached the strategic agreement with the online-project “software-testing.ru”. The basic purpose of cooperation is to create the force capable to positively affect the quality of software created in CIS and the Baltic countries.
Knowledge and skills in software quality improvement gained during the industrial use of UniTESK, combined with practical experience of the participants of the online-project “software-testing.ru”, promise to become a basis for extremely interesting cooperation. |
|
|
MePhI Scientific Session 2005 |
|
Thursday, 27 January 2005 |
|
UniTESK Case Study was presented at the section “Technology of software design” by organizers of “MePhI Scientific Session 2005” invitation. Case study “Application of UniTESK to testing of Windows services” was presented by Natalia Kazakova and Victor Kuliamin. According to section participants opinion, UniTESK is a very promising technology. Lectures and practical trainings on UniTESK technology and tools could be included in MePhI curriculum. |
|
|
A joint report of ISP RAS, Morphbius Technologies (Canada), and Beijing Mediamagic (China) |
|
Monday, 27 December 2004 |
|
A joint report of ISP RAS, Morphbius Technologies (Canada), and Beijing Mediamagic (China) was submitted to Audio Video coding Standard Working Group of China (AVS). The submission is devoted to enhancing international standard on intellectual property management and protection to conformance testing of Audio-Visual Systems Digital Rights Management (AVS DRM). The submission was presented at the 11th meeting of AVS held on December 10–12, 2004, in Beijing, China. (see the presentation) The report is available from the site of Institute for System Programming of the RAS. |
|
|
Internet. New Generation IPv6 |
|
Friday, 26 November 2004 |
|
New technologies of the Internet were the prime focus of the third international conference “Internet. New Generation – IPv6” in Moscow, November 24–25, 2004. The conference attracted researchers and engineers from Russia, France, Spain, Greece and Uzbekistan. Our presentation “Specification-based testing of IPsec” was accepted by the audience with great interest. The presentation is devoted to the important problem of interoperability and reliability of Internet security services. The presentation introduces the latest results of our work to develop an effective technology of specification-based conformance testing of Internet security services. |
|
|
Symposium on Leveraging Applications of Formal Methods |
|
Wednesday, 03 November 2004 |
|
UniTESK technology application for large-scale software testing was reviewed on the First International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), which took place in Paphos, Cyprus, on October 30 - November 2, 2004. On the symposium leading researchers in Formal Methods can meet with practitioners successfully applying them in a real industrial environment and they can enrich each others with new ideas, problems, and approaches to their solution. The event provided its participants with a vision of more practice-oriented development of formal methods and supporting tools. |
|
|
Perspectives of Model Based Testing seminar |
|
Monday, 11 October 2004 |
|
A talk on UniTESK technology was conducted on Perspectives of Model Based Testing seminar in Dagstuhl, Germany, on September 5–10, 2004. The seminar has gathered the leading researchers in model based testing from Europe and North America both from academic institutions and the industry. The presentation and the related article can be found in the materials of the seminar. |
|
|
Monday, 20 September 2004 |
|
On September 16-17 UniTESK technology was presented at Software QA Days Europe (IRIS Congress Hotel, Moscow). Two talks on UniTESK application in industry were given: “Intellectual Test Automation. Challenges, Solutions, and Real Life Applications” by Alexander Petrenko, ISP RAS, and “How Unitesk technology positions within Luxoft test service” by Grigory Senin, Head of Testing Department, Luxoft. |
|
|
